circumscription reasoning

[网络] 限定推理;约束推理